On determinism versus nondeterminism in P systems

On Regular Sets of Bounds and Determinism versus Nondeterminism

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time complexity classes of common interest and are linearly ordered with respect to the confinality relation which implies the inclusion between the corresponding...

On determinism versus unambiquous nondeterminism for decision trees

Determinism versus Nondeterminism with Arithmetic Tests and Computation

For each natural number d we consider a finite structure Md whose universe is the set of all 0, 1-sequence of length n = 2d, each representing a natural number in the set {0, 1, ..., 2n − 1} in binary form. The operations included in the structure are the constants 0, 1, 2n − 1, n, multiplication and addition modulo 2n, the unary function min{2x, 2n − 1}, the binary functions bx/yc, max(x, y), ...

Determinism, Nondeterminism, Alternation, and Counting

Toda proved a remarkable connection between the polynomial hierarchy and the counting classes. Tarui improved Toda’s result to show the connection to a weak form of counting and provided an elegant proof. This paper shows that a key step in Tarui’s proof can be done uniformly using the depth-first traversal and provides the algorithm that generalizes Toda’s result to arbitrary alternating Turin...

On Reversibility and Determinism in P Systems

Membrane computing is a formal framework of distributed parallel computing. In this paper we study the reversibility and maximal parallelism of P systems from the computability point of view. The notions of reversible and strongly reversible systems are considered. The universality is shown for one class and a negative conjecture is stated for a more restricted class of reversible P systems. Fo...